| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m21b.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP3W34P/3PDS22P | |||
| Repositório | sid.inpe.br/mtc-m21b/2017/08.09.17.50 | |||
| Última Atualização | 2020:06.09.19.48.21 (UTC) simone | |||
| Repositório de Metadados | sid.inpe.br/mtc-m21b/2017/08.09.17.50.16 | |||
| Última Atualização dos Metadados | 2022:07.08.21.15.31 (UTC) administrator | |||
| Chave Secundária | INPE--PRE/ | |||
| Chave de Citação | SilvaSant:2017:TeSoVi | |||
| Título | Testes de software via model checking para sistemas espaciais críticos  | |||
| Ano | 2017 | |||
| Data de Acesso | 17 maio 2024 | |||
| Tipo Secundário | PRE CN | |||
| Número de Arquivos | 1 | |||
| Tamanho | 195 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Silva, Felipe Elias Costa da 2 Santiago Júnior, Valdivino Alexandre de | |||
| Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JJB5 | |||
| Grupo | 1 2 LABAC-COCTE-INPE-MCTIC-GOV-BR | |||
| Afiliação | 1 Universidade Salesiana (UNISAL) 2 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Endereço de e-Mail do Autor | 1 felipe.eliascs@hotmail.com 2 valdivino.santiago@inpe.br | |||
| Nome do Evento | Seminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE) | |||
| Localização do Evento | São José dos Campos, SP | |||
| Data | 25-26 jul. | |||
| Histórico (UTC) | 2017-08-09 17:50:54 :: simone -> administrator :: 2017 2017-08-13 08:25:31 :: administrator -> simone :: 2017 2017-12-15 14:27:10 :: simone -> administrator :: 2017 2018-06-04 02:27:39 :: administrator -> simone :: 2017 2020-06-09 19:48:22 :: simone -> administrator :: 2017 2022-07-08 21:15:31 :: administrator -> simone :: 2017 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Tipo do Conteúdo | External Contribution | |||
| Resumo | Teste de software e Model Checking (método de Verificação Formal) são processos/métodos diferentes para assegurar a qualidade de sistemas de software. Para sistemas críticos, tais como satélites e aplicações de balões estratosféricos que o INPE desenvolve, a questão da qualidade é ainda mais relevante, pois um defeito no software pode ocasionar grandes perdas financeiras. Dado a busca exaustiva no espaço de estados que Model Checking realiza, pesquisadores vêm propondo gerar casos de testes de software por meio de Model Checking. Nesse contexto, o raciocínio é interpretar os contraexemplos gerados pelos Model Checkers (ferramentas de software que possuem uma realização da teoria de Model Checking) como casos de teste. O principal desafio é forçar o Model Checker a criar, sistematicamente, conjuntos de tais contraexemplos. Esse projeto de pesquisa possui três objetivos específicos: a.) realizar a geração de casos de teste de software a partir de Model Checking; b.) atualizar a metodologia e a ferramenta SOLIMVA com as soluções tecnológicas desenvolvidas no projeto; e c.) aplicar a nova versão da ferramenta e da metodologia SOLIMVA a software de sistema espacial crítico em desenvolvimento no INPE. Os resultados finais das atividades desenvolvidas nesse projeto serão apresentados. | |||
| Área | COMP | |||
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Testes de software... | |||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2017 > Testes de software... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| URL dos dados | http://mtc-m21b.sid.inpe.br/ibi/8JMKD3MGP3W34P/3PDS22P | |||
| URL dos dados zipados | http://mtc-m21b.sid.inpe.br/zip/8JMKD3MGP3W34P/3PDS22P | |||
| Idioma | pt | |||
| Arquivo Alvo | Silva_testes de software.pdf | |||
| Grupo de Usuários | simone | |||
| Grupo de Leitores | administrator simone | |||
| Visibilidade | shown | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPDW34P/478H8LM | |||
| Lista de Itens Citando | sid.inpe.br/mtc-m16c/2022/07.08.19.44.43 1 sid.inpe.br/mtc-m21/2012/07.13.15.01.24 1 | |||
| Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 | |||
| 6. Notas | ||||
| Notas | Bolsa PIBIC/INPE/CNPq | |||
| Campos Vazios | archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark mirrorrepository nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||